Minor changes in thot manual.
Minor change.