Collection of minor fixes: Typos, formatting, improvements