fixes #756