[NOP] addendum to c2686c754a0a7bbd7b1192182ba87d5ef4c014ce; GUIProgressLogger was missing