I note that this is the change in this file that isn't whitespace.

Is this just a missing case, or was it actually broken?