LoprogRepl: slightly improved.