issue #745 fixed

#745