Documentation typos (thanks to Mark Harig)