fix for non-specification-complient annotations