Follow-up to #660: Update command examples.

Unless I'm mistaken...