Fixed some minor quibbles