Fixing Ivy module name

Somehow, an old value got published on GitHub.