Fixed grammar and added explanation about restarting terminal