Fix one of the examples in the usage info.