Fix typo

Found this while reading the doc.