pull hal fix