fix pull request #13