Bug fix in JSON loader