Commits to fix hygiene

Hi Ravi,

Here are seven commits you might like. Please use "git fetch" to fetch them locally, and then "gitk --all" to look at them one-by-one and see how the "hygiene-fixes" branch relates to the "master" branch.

If you like what you see, run "git merge --ff-only origin/hygiene-fixes" and look at the result with "gitk --all". Then use "git push" to advance the remote master branch to the same place as your local master branch. Then close issue #4! :smiley: 

(The big "Merge pull request" on GitHub is very tempting but please don't use this -- it makes a "merge commit" that will look ugly in gitk and isn't what we want. Instead we just want to "fast-forward" the master branch to include these commits, as if they had just been made by you in sequence.)

Cheers,
Keith