fix issue #13