some small formatting additions