fix JSR numbers