Updated html with RFC text typo fix

Previous commit fixed a typo in the text of an RFC anchor link, this commit actually makes the fix in the resulting html file.