fix bts bug #2303 about unamed formals (cannot be easily tested through an executable program that prints the issue)