diff --git a/crates/web/src/lib.rs b/crates/web/src/lib.rs
index 750ec1b..c5563f1 100644
--- a/crates/web/src/lib.rs
+++ b/crates/web/src/lib.rs
@@ -437,10 +437,10 @@ pub fn pprint(f: &Func) -> Result<String, JsError> {
                 writeln!(&mut s, "x{}[{}]", tuple.var(), member.member())?
             }
             rose::Expr::Slice { array, index } => {
-                writeln!(&mut s, "x{}![x{}]", array.var(), index.var())?
+                writeln!(&mut s, "&x{}[x{}]", array.var(), index.var())?
             }
             rose::Expr::Field { tuple, member } => {
-                writeln!(&mut s, "x{}![{}]", tuple.var(), member.member())?
+                writeln!(&mut s, "&x{}[{}]", tuple.var(), member.member())?
             }
             rose::Expr::Unary { op, arg } => match op {
                 rose::Unop::Not => writeln!(&mut s, "not x{}", arg.var())?,
@@ -558,9 +558,7 @@ pub fn pprint(f: &Func) -> Result<String, JsError> {
             rose::Ty::Fin { size } => writeln!(&mut s, "{size}")?,
             rose::Ty::Generic { id } => writeln!(&mut s, "G{}", id.generic())?,
             rose::Ty::Ref { inner } => writeln!(&mut s, "&T{}", inner.ty())?,
-            rose::Ty::Array { index, elem } => {
-                writeln!(&mut s, "[T{}]T{}", index.ty(), elem.ty())?
-            }
+            rose::Ty::Array { index, elem } => writeln!(&mut s, "[T{}]T{}", index.ty(), elem.ty())?,
             rose::Ty::Tuple { members } => {
                 write!(&mut s, "(")?;
                 print_elems(&mut s, 'T', members.iter().map(|member| member.ty()))?;