fix Declaration of getDefaultOptions()