issue #729 fixed.