Correct a wrong assertion