Corrected another tiny problem in the doc