Fix bug #772950