Two minor corrections