Correction: restore top-level attributes.
Uniform formatting of ex-enumerations.