Fix annotation check