issue #725