Some minor corrections
Change the default module filename