Fixing a few non-English language bugs in options GUI