Fixes main in QuickChecker
Cleans up some comments