an eraser is used to correct mistakes