updated documentation, minor reformatings