fixed #725