Fix bug with abstract enum type