[Correction] The Birth and Death of JavaScript