removed useless assertion statement left from a previous version