Bugfix in AnnotationIndex.update().