Ah, so it is.  Noted for future reference - should I push an update here, or will it just be easier to tweak that in a merge?