fix issue with coverage reporting