Fix for small issue with test of annotations