small typographic fixes