Missing a JSON encoder test