diff --git a/eqy-engine/src/unroll.rs b/eqy-engine/src/unroll.rs
index cb5f57b..5caa2f2 100644
--- a/eqy-engine/src/unroll.rs
+++ b/eqy-engine/src/unroll.rs
@@ -195,7 +195,7 @@ impl Unroll {
     }
 
     fn find_unrolled_repr_var(&self, step: TimeStep, seq_var: Var) -> Option<Lit> {
-        let seen = self.seen_from_seq.get_id(&seq_var)?;
+        let seen = self.seen_from_seq.get_key(&seq_var)?;
         let comb_from_seen = self.comb_from_seen.get(step)?;
         let slot = comb_from_seen.get(seen)?;
         *slot
diff --git a/ids/src/id_vec.rs b/ids/src/id_vec.rs
index b09a585..8c053ba 100644
--- a/ids/src/id_vec.rs
+++ b/ids/src/id_vec.rs
@@ -522,7 +522,7 @@ impl<K: Id, V> IdVec<K, V> {
 
     /// Inserts values from an iterator using the smallset available ids as keys.
     #[inline]
-    pub fn extend(&mut self, iter: impl IntoIterator<Item = V>) {
+    pub fn extend_values(&mut self, iter: impl IntoIterator<Item = V>) {
         // TODO document why we're not implementing the Extend trait
         self.modify_values(|values| values.extend(iter))
     }
diff --git a/ids/src/indexed_id_vec.rs b/ids/src/indexed_id_vec.rs
index 6412d1b..1313d86 100644
--- a/ids/src/indexed_id_vec.rs
+++ b/ids/src/indexed_id_vec.rs
@@ -123,7 +123,7 @@ impl<K: Id, V: Hash + Eq, S: BuildHasher> IndexedIdVec<K, V, S> {
     /// Retrieves the key for a value in the set.
     ///
     /// Returns `None` if the set doesn't contain the given value.
-    pub fn get_id<Q>(&self, value: &Q) -> Option<K>
+    pub fn get_key<Q>(&self, value: &Q) -> Option<K>
     where
         V: Borrow<Q>,
         Q: Hash + Eq + ?Sized,