Fix misnaming in documentation.