Correct encoding in pointer.js