Fix bug #951