Syntax fix in JS code (for pygments)