Updated documentation and some minor typography updates