Fix test coverage annotations