Remove the gadt for xml decoding.