small change to pushstatehelper.js