Looks like this actually got missed, but it isn't a big issue