Annotation bugfix