Fixed minor mistake in documentation