Fix RFC number