fix pubsub.html