minor module-path tweak

inspired by bug #728 but does not fix that bug.