trivial doc edit