Fix recent change in webkit