Last change: Jul 25  2012
These were a couple of local changes that never made it into git until
now.