The JSON encoder now uses tuples instead of lists