Pierre Neidhardt writes: > Good find! > > I've merged the fix with 4cc746820a4043c029e26926f85c5e3c1d1b9eb3. > We can close this issue I believe. Closing as suggested above.