iOS: fix the banner bug for iOS7 temporarily until the author submits a formal fix