[FOLD] ripple: disable pretty print