bug ifx constructer's argument options