reproduce issue #134