--- a/Utilities/__init__.py Fri May 30 13:17:20 2014 +0200 +++ b/Utilities/__init__.py Fri May 30 15:16:40 2014 +0200 @@ -950,8 +950,8 @@ @return the complete filename (string) """ if ext[0] != ".": - ext = ".{0}".format(ext) # require leading separator to match - # os.path.splitext + ext = ".{0}".format(ext) + # require leading separator to match os.path.splitext return prefix + EXTSEP + ext[1:]