another slight doc fix up