Fix a mention of ES4 to be ES3.

ES4 was never released. Instead they went straight from ES3 to ES5.