debugging the json encoding of namedtuples