Issue #4 was fixed.