Issue #85: fixing bug introduced.