Fix string formatting in assertion