code to reproduce issue #2757