Fixing a small error in the documentation.