A few small formatting fixes