Fixing formatting for rdoc.info.