undo silly javascript rename