fixed test suite coverage annotation