Minor changes to heartbleedmitigation.md