Follow-up to bugfix for bug#10060.