suggest using public .getOption() instead (and elsewhere)