Fix incorrect claim that a module file cannot match its directory name

Fix incorrect claim that a module file cannot match its directory name #3537