See comment about renaming in iframe.js