small formatting corrections