Fixed a type. TODO: save_all_to_json()