Revise docs for manual.