Synchronized with the source at bce0670dd360462c3144216e732dbfaa0d8d6641.