Fix the jQuery 2.0.3 file that I copy-pasted badly