Tweak in AnnotationsTest.test2()