bug in Main