Try to fix coverage reporting