minor cleanup in main.pl