minor changes, suggested by Peter Aczel