Cosmetics and spelling fixes for the previous commit.