Yeah, it's not used. (I hadn't noticed it before now).