Another trivial edit.