Fix a few things in the Heartbleed modules