diff --git a/client/src/components/infoview/main.tsx b/client/src/components/infoview/main.tsx
index 048aef82..c8ed1c1e 100644
--- a/client/src/components/infoview/main.tsx
+++ b/client/src/components/infoview/main.tsx
@@ -493,18 +493,20 @@ export function TypewriterInterface({props}) {
{props.data?.introduction}
}
- {mobile && <>
+ {mobile &&
- {i == proof.length - 1 && hasHiddenHints(proof.length - 1) && !showHelp.has(k - withErr) &&
-
- }
- >
}
setDisableInput(n > 0) : (n) => {}}/>
+
+ {mobile && i == proof.length - 1 &&
+ hasHiddenHints(proof.length - 1) && !showHelp.has(k - withErr) &&
+
+ }
+
{/* Show a message that there are no goals left */}
{!step.goals.length && (