fix of #4