Folks,

I've fixed the problem I reported an hour or so earlier.  It was a
combination of uninitialised pointer and then not checking for a null
pointer.  I should have beaten the sup scan, so this shouldn't have
caused a problem for anyone but those who have CVS access and updated
their sources between 01:49:10 UTC and around 13:00 UTC today.

Simon.