Documentation additions and fixes