Typos founded during final editing.