remove forgotten workaround