Bug#402511: #402511 possibly related to #401393

[David Härdeman]

FYI, it seems likely that #402511 is due to the same problem as 
described in #401393 (with further details)

--
David Härdeman