Thanks for pointing out that pun. I wouldn't have noticed it without you doing that.