Made a very minor change to a js file