misc doc and formatting