Fixed typos spotted by Francesco Poli.