BUGFIX: get rid of an incorrect ASSERT