Correct mistake in documentation