Another rename to make the IETF tool happy.