indented description list
minor fixes for section title and moved some deadlock sections to subsections