fix up nits in Modulefile