Improvements in webkit, not done in firefox; fixes #12