Trivial documentation update.