I noticed the JSON database uses all caps property names. When reading the string formatting code above, I got a bit confused thinking that these were string constants. Any chance we can fix the JSON file?