Some minor corrections