more repairs for webkit