fixed a wrong assert (that I added)