Bug#718