Fix formatting of RFC-90