rewritten Corrector in more functional way