fixed bug in `options` where not all key presses were handled properly