[nhc-bugs] [Patch] Small hmake bug