various nits, typos, spaces, updates to comments...