I have now reported each of the outstanding problems in my earlier bug reports as a separate report. This bug (#933) and the other (#932) should be closed; I'm doing so now. Ian.