Bug#8712