Fix bug #77