Fix a stupid mistake in module names.