fixed a wrong assertion