I don't know. I change those lines to be consistent with the rest of the code.