Fix error in documentation.