Simple correction in the manual