Remove forgotten workaround