tnscmd10g: Make some extremely tiny style changes.