Correct bug in InformationCollector to update fault count properly