fix of issue #4