fixed hal_spec ref