Tiny fix in the doc.