DOCS: small formatting fix