Not sure how I got that wrong, but, yeah, you're right! I still prefer JSON5 for being ECMAScript-compliant.