Trivial editing.
