modify JavaScript specification