fix of issue #767