further small formatting changes