Bug in new auxiliar