Issue #5 was fixed.