diff --git a/README.md b/README.md
index d546f09cf..d25fae98a 100644
--- a/README.md
+++ b/README.md
@@ -182,7 +182,7 @@ If rustup fails, especially with an error like "could not rename downloaded file
 To solve the issue, go to the command line and run:
 
 ```
-rustup toolchain install nightly-2023-04-12 -c rust-src -c rustc-dev -c llvm-tools-preview
+rustup toolchain install nightly-2023-08-25 -c rust-src -c rustc-dev -c llvm-tools-preview
 ```
 
 Then go back to VSCode and click "Continue" to let Flowistry continue installing.
diff --git a/crates/flowistry/benches/main.rs b/crates/flowistry/benches/main.rs
index fe083adf5..5a1cb5d31 100644
--- a/crates/flowistry/benches/main.rs
+++ b/crates/flowistry/benches/main.rs
@@ -13,7 +13,7 @@ use criterion::{
 };
 use flowistry::infoflow::Direction;
 use glob::glob;
-use rustc_borrowck::BodyWithBorrowckFacts;
+use rustc_borrowck::consumers::BodyWithBorrowckFacts;
 use rustc_hir::{BodyId, ItemKind};
 use rustc_middle::{
   mir::{Location, Place},
diff --git a/crates/flowistry_ide/README.md b/crates/flowistry_ide/README.md
index 4ff685568..1f6775d96 100644
--- a/crates/flowistry_ide/README.md
+++ b/crates/flowistry_ide/README.md
@@ -108,9 +108,9 @@ If rustup fails, especially with an error like "could not rename downloaded file
 To solve the issue, go to the command line and run:
 
 ```
-rustup toolchain install nightly-2023-04-12 -c rust-src -c rustc-dev -c llvm-tools-preview
+rustup toolchain install nightly-2023-08-25 -c rust-src -c rustc-dev -c llvm-tools-preview
 ```
 
-> Note: double check the value of "channel" in `rust-toolchain.toml` if `nightly-2023-04-12` is no longer correct.
+> Note: double check the value of "channel" in `rust-toolchain.toml` if `nightly-2023-08-25` is no longer correct.
 
 Then go back to VSCode and click "Continue" to let Flowistry continue installing.