Loads of minor bug fixes, new comments, and fixes.