Fix a typo in the path to Hoa/Core