issue #832 fixed