fixing a bug in the parameter list