qué es un corrector