more cleanups (and todos) for ProgressMonitor class