Minor changes not worth mentioning to json