fix bug in argument definition