Fixed existential type warning