Fix bug in printing of enumerated types