a few proofreading fixes