Style change to an unrelated piece of code, I'd leave this out.