Fix a missing module