A few minor edits -- Commit 9