minor straightening of enum deserializer