fix mismatched type