Misc. changes to documentation