Fix some typos to make the three affected manuals build again