fix aux variable lists