Mere minor corrections