Minor change of the manual.