Fix critical bug in crossprotocol.html