fix coverage in travis ci config