I did not write that code, but I think it is a valid change.