Fix bug #25