In an upcoming version we'll be switching all of our ajax over to YUI. This has the benefit of being tested on a variety of platforms and will pretty much standardize everything in this area. This should help alleviate these types of issues.