Another minor issue with the documentation.