fix repl_fun and replCorrect for new printing semantics