Fix little bug in doc.