Fixing the case of foldi_down