Huh. It was fixed in iOS 7b3.