Fix syntax checking output