docs and formatting