small fixes to syntax