fix issue #732