Fixed a bug regarding escaped characters at the end of a character class range.
Added more ECMAScript implementation notes.