FIX: IE8 support in jquery.ondemand.js (fixes #2872)