BUG: wrong call to aatx