Slight correction in the text.