I tried with the latest trunk version and couldn't reproduce it
either, so closing.

I have been using the commit before the one that introduced bug 16434,
which is a version this bug manifests in.