commit to fix pull request #13