diff --git a/Missing.md b/Missing.md
index 06065e1b3d84106655881537092d961ae2004132..bf6f6f1ae505b4d3163b13ff35e8472269ccbb18 100644
--- a/Missing.md
+++ b/Missing.md
@@ -3,5 +3,5 @@ Missing APIs from the types we cover (APIs have been added after this formalizat
 # Cell
 
 * Structural conversion for slices.  The matching operations in our model would be
-  `&mut Cell<(A, B)>` -> `(&mut Cell<A>, &mut Cell<B>)` and
-  `&Cell<(A, B)>` -> `(&Cell<A>, &Cell<B>)`.
+  `&mut Cell<(A, B)>` -> `&mut (Cell<A>, Cell<B>)` and
+  `&Cell<(A, B)>` -> `&(Cell<A>, Cell<B>)` (both being NOPs).