Additions and improvements to documentation