Pass the right synopsis string to MainArgParser.