Small edits, removing comments.