Commit 071762f closes #9