This commit fixes #41.