modify javascript specification