Trivial documentation fix