fix broken rfc reference