fix issue #772