minor fix in manual text