Needed by doppler.html after updating.