fixup! Make ProgressMsg use Vec.