Issue #45 fixes a small issue