Convert a couple of three-column tables with an empty third column to

two-column tables.  This improves the rendering of the HTML version on
(at least) some browsers.