add coverage annotation