Bugfix: key 'is_deleted' does not exist for nondeleted files