t/verify-state: one more printf type fix