fix small formatting mistake