Small improvements to parse_rfc_numbers.