fix silly typing