Minor edits (typos, whitespace, etc)