Fix mangled Main, and fix bugs in Leader board