Synchronized with the source at 39e1a17eb75fdec0be2e51a0bdc4fe0d98ee3765.