Assert corrections