Fix small formatting bug