fixing over-ambitious replacement of $ with jQuery