fixed up an annotation