correct definition error