bug#10000