Corrected. There are more mistakes in the manual, but IMHO it's for another PR