potential bugfix for Enum.to_rev_list