small changes to JSSC implementation