Bug fix for filename "None"

Fixed a bug in which expected but uncovered sources were reported with filename "None"