Fix repl options menu

Fixes #1334