Correction syntax