Fix bug #84