Fix up a recently busted test that apparently does not run on tinderbox. No bug#, no_r=me.