bug in assert