some bugs in param-default-initializers fixed