Fix an error in the documentation.