two lil' bugs that do not affect anything except real-time reporting is
now fixed.