I do not think concern is warranted in this case. but I just remembered I can use OutBuffer's printf for this, so I will change it.  Do you have any other concerns with this pull?