(Some manual typos...)