Fixed up ECMA-262