Fix numbering on RFC-90