Why? It is short and it is not used in any other place. For clarity I can add a short comment to describe in words what is happening there.