Fix an incorrect RFC number.