Fixes from Greg Billock's feedback; mostly typos.