Fix return type of getOption(String)