Fix bug #89