A few small formatting tweaks