The change is still functionally correct though, right?