switch from realtime to correspondence, but not the other way round