minor typographic fixes