Fixed something in the documentation.