minor typographical junk