Export the name of the main entry point.
Bug fix (in finding leaders) and improved comment.