Edited small mistakes in Main's structure