Fix bug #182