Fix bug #78