test coverage correction : istanbul-harmony