Fix for buggy code coverage metrics