LoprogRepl: minor changes.