various doc additions