Push fixes to syntax