Fixed minor issue in ASCT#indexExists(...)