Removed some redundant lines from the manual