fix issue #764