Fix incorrect definition of Cons