Issue #82 is fixed.