couple of minor typographical changes