Numerous small formatting corrections