Fix fold_superfluous