fix module path Reasoning on Hom