More minor corrections