exception message should say where the annotation is missing