fix some syntax related things