corrected a wrong assertion