How embarrassing! I have fixed this in blead as 2153ce5 and maint-5.18 as 576348d, using the tweak that Karen suggested. Thanks. -- rjbs