Small bug fix in getOptions().

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