Tidied up a couple of typos and added a summary for "! exit"