While seeing, updated a bit the manual file.