workaround for Google bug 10194508