fix mistake in previous commit, related to progress tracker