Bugfix on the name of a required module