very minor changes (mainly correcting references)