slightly saner JSON generation with NSJSONSerialization