Sorry, I should have mentioned it explicitly, but I did doubleckeck and the patch was still there. (I'd put it in manually and couldn't remember having installed any Jetpack patches lately, but checked just in case it may have been overwritten.)