A bit of refactoring toward making the run progress report code work