Minor updates to the heartbleed post