removed two "assert ..."