Fix in manual page.