Fix warning about implied existential type