Fix typos (christoph_debian)