Slight doc fix