Further work on user's manual.