Fix in case current_options is empty (< php5.3)
Apply default options if the option is missing