Partial (hot)fix contained in this PR. It only modifies the toString() so that it passes the test. It would be better to fix this for all invocations of Annotation.toString()