Correção no funcionamento do check_re