fix coverage html generation