Fine leaving this unchanged; would be annoying to change everywhere, and the only reason i was suggesting it is that it has been suggested to others in others' code