Correction of a bug in webkit