Minor cleanup before posting to GitHub