Weird characters in wedlgp.js