#1137: Use jQuery instead of window.jQuery