Issue #77 is fixed.