small formatting tweak