Bug corrected in main