fix coverage generated in travis