No, thanks for catching that!  I probably missed that on the last git merge.