Bug in documentation.