Fix broken repl options comment