Fix broken REPL options