a little fix in manual