pushing syntax fixes