Bug fixes for JPrIME wrappers