Another small doc fix