Simplify main() slightly.