trivial documentation fix