Touched up the documentation