Fix bug #56