Bugfix: Missing parenthesis in Annotation.equals