Fix JSEX import