It seems to be working, as this code was here for a half-year (or more).