Minor formatting of the RFC page