Fix breakage made by r19452 (ietf URL changed)