minor corrections in 'alternative'