fix minor syntax problems