corrects a mistake in documentation