This commit fixes #74.