Made repl non-editable after task termination. Right thing?