Coding style: typos