Correct CLI example. Fixes #5773.