issue #708 fixed