Simplify annotation check