Fix slight doc bug