Correct small mistake in documentation