[sr-dev] git:5.7:f34ae12f: topos: small formatting fixes