trivial documentation change