Rewriting documentation, reformatting.