"korreksjonsleder" er et 16-bokstavers substantiv som brukes som synonym for "feilretter". feilretter betyr: Leder for korrigeringsarbeid.