Correct description of ClassfileAnnotation