Fix typo and add allocated rfc number