fix overfull progress bars