[FOLD] bugfix from de-inlining