fix type problem that was plaguing #7147