Remove an untrue remark from the doc.