update JavaScript specification