issue #672 done.