fix for issue #756