Don't use sms.getAnnotationsForBody in refactored code, as this returns
an annotation without body or targets. StoringHistoryTest fails
sometimes, need to investigate.