Fix small formatting mistake