minor tweak to annotation