Fix bug #43.