bug fix in SourceFileTest