lint for annotations