Add an apparently random symbol to make IE work.