Issue #86: Fixed.