minor fixes into the aux