AUX array overflow bugfix, bug found by disq