Fixed: module name <-> file name