minor modification to module-main.pl