fix minor semantic issues