/*XXX bogus kludge */