I must be reading this wrong... it looks to me like old line 44, and new line 45, describe the unchecked option. No big deal one way or the other, since if they never saw this before they won't miss it now.