Fix bug on fobos options overloading