henry (05/14/83)
Fixed a botch in the Sanders terminal tables: the update I did to them the other day (adding bold-off to the initialization sequence) was done wrong in one of them. This caused a few garbage characters on the first page of most output prepared using "format".