Editing some javascript