Added additional annotation checking