Two further test cases for annotations