Unimportant misc. edits.