Options fixes

fix some minor issues with options.cpp.