Very minor experimental change to get JSON parsing to work