doc and formatting