Trivial documentation fix.