Fix bug #114