Fixing mistake in the documentation.