Some small formatting changes and links