report from David Darville.  Back-patch as far as 8.1, which may or may not
have the problem but it seems a safe change anyway.