Trying to fix coverage reporting