fix issue #739