diff --git a/crates/flux-middle/src/rty/mod.rs b/crates/flux-middle/src/rty/mod.rs
index 050acd2d3..99711c9c3 100644
--- a/crates/flux-middle/src/rty/mod.rs
+++ b/crates/flux-middle/src/rty/mod.rs
@@ -25,7 +25,6 @@ use flux_common::bug;
 use itertools::Itertools;
 pub use normalize::SpecFuncDefns;
 use rustc_data_structures::unord::UnordMap;
-use rustc_hash::FxHashMap;
 use rustc_hir::def_id::DefId;
 use rustc_index::{newtype_index, IndexSlice};
 use rustc_macros::{Decodable, Encodable, TyDecodable, TyEncodable};
@@ -2003,7 +2002,7 @@ pub enum Coercion {
     Project(DefId),
 }
 
-pub type ItemLocalMap<T> = FxHashMap<fhir::ItemLocalId, T>;
+pub type ItemLocalMap<T> = UnordMap<fhir::ItemLocalId, T>;
 
 #[derive(Debug)]
 pub struct LocalTableInContext<'a, T> {
diff --git a/crates/flux-refineck/src/refine_tree.rs b/crates/flux-refineck/src/refine_tree.rs
index fa0fae905..acaa53db7 100644
--- a/crates/flux-refineck/src/refine_tree.rs
+++ b/crates/flux-refineck/src/refine_tree.rs
@@ -91,7 +91,7 @@ pub(crate) struct Snapshot {
     ptr: WeakNodePtr,
 }
 
-/// A ist of refinement variables and their sorts.
+/// A list of refinement variables and their sorts.
 #[derive(PartialEq, Eq)]
 pub(crate) struct Scope {
     bindings: IndexVec<Name, Sort>,