In general it is not good to modify arguments like this. It's not a big deal here though.