cosmetic; there's a spurious space in "Enum "