Fixed mistake in the documentation