small bugfix of file name