Bughunting:

fixed some bugs in the Filename iterator