Fixed ugly bug in pdt_source_file/2.