This pull request fixes #7