small bug fix to Enumeration constructor