fix minor type errors