Fix a bug with $@