fix copy&paste mistake in documentation files