Fixed a minor bug in the SmartAnnotations class