Minor typo fixes in src/main/main.cc