Synchronized with the source at abfe1f9fa701cdba1b0fa76afc4b9c7981a7dcfa.