minor change to javascript file