removing TaggedOptionalFormat as it's too painful