Fix bug #26.