Yes, I agree; but I thought that it was `$*` on purpose (even if I couldn't figure why).
I also think that `"$@"` would be better.