Trivial doc edit.