a couple of minor corrections