cosmetic changes to heartbleed.c src and header.