Thanks, I installed the attached patch, which I hope fixes all the bugs 
and style glitches uncovered by that scan, along with some other style 
glitches I noticed in the neighborhood.