minor bugfix for the naming of reorered files