[sr-dev] git:master:991de5e5: topos: small formatting fixes