correct auxiliary rules bugs