A clearer assert

TBR: @dinhviethoa