Minor formatting update to heartbleedmitigation.md