Fix HCF check, it was a strongly-HCF check