Somehow this rename didn't get submitted (but was already done on the Java side).