work around bug #989403