further simplifications to repl