Updated HotPot module.