Misc. comments and typo corrections