fix issue #700