Updated some CheckerAux functions