website/source: fix typos