Do we have to worry about the case where final-msg has ~s that we don't intend it to have and that causes the later formatting call to have problems?