That crash is introduced by a recent commit 90469a, which is supposed to
be trivial and harmless. I made the mistake of not trying the code
enough before pushing it, again!