-Fixed a little bug in options.java.