Correct names in the manual