Fix a bug with the JSON encoding of Master Envelope seedLists and keywords