Still trying to get correct coverage reporting...