Fix bug whereby pressing return to repeat the last command didn't work