Fixed a few minor quibbles