No functionality change. Just did it out of OCD. I can revert this change if you would like, as it is not necessary.