a couple minor corrections