Now that I look a bit closer at how HIDDENHOST is used, I think you're right.