json int bugfix