remove obsolete workaround