Misc doc fixes