small formatting updates to the concurrency doc.