trivial docs edit