correct RFC