closed #725