Add further documentation. Auto-reformat.