Correcting a small error in annotations