A minor error in the text was fixed.