minor corrections to enumerated.txt