Fixed a bug where the printed enumerated value was wrong