Fix some doc nerbles that caused the HTML to be messed up.