fix format string in assert