Refining the error checker