Fix spelling in manual, as in bug 16376