pspacek fix format string in assert