bugfix in assert