ditto (and this also fixes RT #87020)