Synchronized with the source at 3c3d7870e39f2a430a47bc1cfce2a9361ae36221.