Small textual improvements in manual.