Fix user.getOption(String) to match new behavior