Fixed mistake in documentation.