Correction of a small mistake in the annotations