Looks like Julian and I used curly quotes here (because we edited the file in google docs). These should be standard ascii straight quotes for the json file to work properly. We'll correct that soon.