On Sat, 10 Mar 2018 11:13:52 +0100, Sönke Ludwig wrote:

Incoming fix: #2111

Many thanks.