Correct reference to an old name for module