Minor bug fix for unset options