Clarified main().