Fixed bug in code coverage reporting numbers.