Fix name clash for mine search