add a missing ::type