put aigor back in check.pl; small cleanup