Updated documentation, mainly formatting