fix type in assert