OK. The problem was resolved by his updating.