Fixed non tail-recursive fold_fsection