Tweak for v0.10.3 regarding JSEX.Encoder protocol change