error in aux testing function