extra docs and formatting