Fix sjcl