Make TCL_UNUSED() work here. Some indenting changes.