fix coverage options
remove old comment