Small note in rfc 89...