Good catch -- we must have missed that during a merge.