#9: Doc fix.