Formatting cleanup.

Put command options in a  <pre> block to preserve formatting.