Minor edits I forgot to commit.