Just some minor terminology fixes, and a bit of obsessive-compulsive tweaking of the Markdown formatting.