Small cosmetic improvement to the output of options.

git-svn-id: https://svn.cms.waikato.ac.nz/svn/weka@11194 e0a1b77d-ad91-4216-81b1-defd5f83fa92