Fix small doc oversight.