Added another assert statement