small fix in manual