Wrong RFC number referenced?