Yeah, good find. This can probably go away now. It wouldn't work anymore anyway.