Docs and reformatting