Fix JavaScriptStringEncode (closes #200)