A couple of minor corrections