FYI, just pushed the following trivial patch, sending to list in case anyone else was doing the same. -j