I removed it.
I added it to make it more explicit.