fix '100% CPU when paused' bug. debian 637546. But that's not the first report.