Fixing a few HAL reps that I broke