Fix a few minor issues following proofreading