minor fix for jython