Use double-colon to make cmdline example use PRE tag in docs