trying to reproduce issue #42, no luck yet.
Try to reproduce #42, no luck yet.