issue #19543: small fixes but no major progress