Fix the examples for the sdk-version command line option.