minor update in rfc 94