Bug fix to report the correct code coverage numbers