As I can see, this is just a code snippet, I don't see a reason to change it.