fix small formatting inconsistency