Fix improper include in cardinal_as