Fix typos (found by MiguelM textkit)