Replacing //@ by //# for sourceURL in IE (to avoid errors).