fix for empty file bug in idbfs