JSON encoding of a string needs to be a string