Renaming error to violation