Minor edits to previous commit.