Repair or correction of mask defects