Re: [sr-dev] TOPOS: Minor issue