correções wirth