Fix bug #82