workaround for Webkit #35443