add an iOS workaround